\section{Conclusiones}

Una vez que se tuvo la base de los diagramas realizados en la primer parte
del trabajo (TP1), el nuevo objetivo consistía en completar la descripción 
del escenario ideado, usando como complemento los diagramas de
casos de uso, actividad, máquinas de estado (FSM/LSM) y clases.
Como primer paso, fue preciso definir cuál de los O-refinamientos expuestos en
el primer TP utilizar para así describirlo con los nuevos diagramas.

Una vez realizado esto procedimos a encuadrar nuestro problema dentro de cada uno de los diagramas.
Si bien la base sobre la cuál trabajar ya estaba definida, durante el desarrolo del trabajo 
se presentaron algunos inconvenientes en cuanto a la sincronización entre los diagramas: 
surgieron inconsistencias imprevistas entre los modelos, que nos obligaron a replantear ciertos 
detalles (cómo ordenes en los sucesos,cuestiones temporales, etc).
Al igual que en la primer instancia, fue indispensable el contacto con el "cliente" para 
terminar de delinear y pulir esos detalles y poder dejar de lado las ambigüedades.
También nos encontramos con que, a pesar de utilizar una buena variedad de diagramas, quedaron
cosas que resultaron imposibles de especificar de manera formal.

Como conclusión general del trabajo realizado, podemos afirmar que resultó
sumamente enriquecedor conocer y aplicar técnicas de modelado que
eliminen ambigüedades en los requerimientos del ámbito industrial. Hemos podido
tomar conciencia de que restarle importancia a estas fases del desarrollo de
software puede provocar resultados catastróficos, y es indispensable para el
desarrollo de buen software utilizar herramientas que nos ayuden a precisar
y resolver problemas como los expuestos.
